Revision: tla--devo--1.0--patch-4
Archive: lord@emf.net--2003b
Creator: Tom Lord <lord@emf.net>
Date: Sat Jun 16:58:58 PDT 2003
Standard-date: 2003-06-14 23:58:58 GMT
Summary: add -V and -h support to the tla front-end
Keywords:
New-files: 
New-directories: 
Removed-files: 
Removed-directories: 
Renamed-files: 
Renamed-directories: 
Modified-files: ./ChangeLog ./tla/tla.c
Modified-directories: 
New-patches: lord@emf.net--2003b/tla--devo--1.0--patch-4
Removed-patches: 

add -V and -h support to the tla front-end

